$\forall$$x$, $y$:Void List, $T$:Type. $x$ $=$ $y$ $\in$ $T$ List